Abstract PCCLB-30

30 Years of Abstract Interpretation

France and the United States have a rich history of shared ideals and principles. As evidence, I present to you that in 1776, the founding fathers of the United States of America signed the Declaration of Independence. With this document as a model, in 1789 the French Assembly published the Declaration of the Rights of Man and of the Citizen. Like the Declaration of Independence, the French Dec...

Observability Concepts in Abstract Data Type Specification, 30 Years Later

We recall the contribution of Montanari’s paper [GGM76] and sketch a framework for observable behaviour specification that blends some of these early ideas, seen from a more modern perspective, with our own approach.

Explorer Observability Concepts in Abstract Data Type Specification , 30 Years

We recall the contribution of Montanari’s paper [GGM76] and sketch a framework for observable behaviour specification that blends some of these early ideas, seen from a more modern perspective, with our own approach.

abstract

ABSTRACT